Single axiom schemata for $D$ and $S$.
نویسندگان
چکیده
منابع مشابه
Axiom Schemata as Metalevel Axioms: Model Theory
Logicians frequently use axiom schemata to encode (potentially infinite) sets of sentences with particular syntactic form. In this paper we examine a first-order language in which it is possible to write expressions that both describe sentences and assert the truth of the sentences so described. The effect of adding such expressions to a knowledge base is the same as directly including the set ...
متن کاملWoodin ’ s axiom ( ∗ ) , or Martin ’ s Maximum , or both ? Ralf
We present and discuss a new axiom, Martin’s Maximum∗,++, cf. Definition 2.10, which amalgamates Woodin’s Pmax axiom (∗) and Martin’s Maximum++. If a mathematical object can be imagined in a reasonable way, then it exists!
متن کاملLusin sequences under CH and under Martin ’ s Axiom ∗
Assuming the continuum hypothesis there is an inseparable sequence of length ω1 that contains no Lusin subsequence, while if Martin’s Axiom and ¬CH is assumed then every inseparable sequence (of length ω1) is a union of countably many Lusin subsequences. 2000 Mathematics Subject Classification . 03E05 (Combinatorial set theory), 03E50 (Continuum hypothesis and Martin’s axiom), 03E35 ( Consisten...
متن کاملA single axiom for semi-Boolean SQS-skeins
In this note, we show that the variety of semi-Boolean SQS-skeins can be defined by a single axiom and exhibit a single axiom for said variety that was found with the aid of the automated theorem-prover Prover9.
متن کاملReconstructive and Oncoplastic Surgery for Giant Phyllodes Tumors: A Single Centre\'s Experience
Phyllodes tumors are biphasic fibroepithelial neoplasms of the breast. While the surgical management of these relatively uncommon tumors has been addressed in the literature, few reports have commented on the surgical approach to tumors greater than ten centimetres in diameter – the giant phyllodes tumor. We report a case of giant breast tumors and discuss the techniques utilized for pre-...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Notre Dame Journal of Formal Logic
سال: 1966
ISSN: 0029-4527
DOI: 10.1305/ndjfl/1093958752